Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 5 of 5 for:
automated reasoning
1 ?
 21,213,375 websites (safe search)

  1. wizAI - Solutions with Artificial Intelligence

    wizAI - Solutions with Artificial Intelligence News Monitoring and Intelligent Issue Management Tools wizScreen wizKMS We provide Intelligent and easy to use ...
    Risk Management2
    Knowledge Management2
    Artificial Intelligence2
    Machine Learning1
    Issues Management1
    Medienbeobachtung1
    News Monitoring1
    News Clipping1
    Document Classification1
    Issue Monitoring1
    Automated Reasoning1
    Web Spidering1
    Inference techniques0
    Pressemonitoring0

    www.wizai.com - 2009-02-06

  2. Silver Bullet Solutions, Inc.

    Web SBSI Fredrick Brooks’ famous article, “There is No Silver Bullet”, appeared in IEEE Computer Society in 1987. Responding to the overpromises of Computer Aided ...
    Net4
    data integration1
    enterprise architecture1
    taxonomy1
    ontology1
    SBIR1
    IT architecture1
    Bayes1
    ontologies1
    data model1
    taxonomies1
    DoDAF1
    data fusion1
    Seaport-e1
    ONR1
    sensor fusion1
    CADM1
    Combat System1
    TADIL1
    Tactical Data Link1
    automated reasoning1
    Bayes Network1
    DoD Architecture Framework1
    Combat Direction System0
    federated architecture0
    inference net0
    ITES-2S0
    JC3IEDM0
    Joint Track Manager0
    Navy Open Architecture0
    SPAWAR MSA0

    www.silverbulletinc.com - 2009-02-04

  3. Paul E. Oppenheimer

    Home Page of Paul E. Oppenheimer
    poetry6
    religion3
    spirituality3
    philosophy3
    Princeton2
    logic2
    vendors2
    papers2
    book reviews2
    Stanford1
    philosopher1
    reasoning1
    Oppenheimer1
    logician1
    topoi1
    automated reasoning1
    Connection Machine0
    Paul E. Oppenheimer0
    Paul Oppenheimer0
    Thinking Machines Corporation0

    www.peoppenheimer.com - 2009-02-09

  4. The CALCULEMUS Interest Group

    This is the home page for the CALCULEMUS Project
    development5
    systems4
    open4
    interactive3
    proof2
    systems integration2
    artificial intelligence2
    reasoning1
    computer algebra1
    symbolic computation1
    formal methods1
    knowledge representation1
    mechanized1
    theorem proving1
    automated reasoning1
    type theory1
    proof planning1
    calculemus1
    OMRS1
    formalized mathematics0
    mechanized reasoning0
    tactical theorem proving0

    www.calculemus.net - 2009-02-11

  5. International Knowledge Systems

    A world leader in the research and development of knowledge-based systems technology.
    software7
    scheduling2
    knowledge-based systems1
    automated reasoning1

    www.iksys.com - 2009-02-07

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.